#topological reasoning